Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

Online Actions with Offline Impact: ! How Online Social Networks Influence Online and Offline User Behavior Tim Althoff, Pranav Jindal, Jure Leskovec @timalthoff

Source URL: www.timalthoff.com

• Stanford University
• Social networking service
• Causes
• Homophily
• Technology
• Human behavior
• California

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen,

Source URL: www.falkhowar.de

• Transmission Control Protocol
• Constructible universe
• Algorithm
• Sliding window protocol
• Mathematics
• Dimension reduction
• Computing
• Philosophy of mathematics

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Human behavior
• Deception
• Communication
• World Wide Web
• Hoax
• Disinformation
• Twitter
• Misinformation
• Reliability of Wikipedia
• Sockpuppet
• Block
• Internet troll

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Internet manipulation and propaganda
• Internet trolling
• Deception
• Sockpuppet
• Human behavior

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org